Search Results

[ICFP'22] Entanglement Detection with Near-Zero Cost

[ICFP'22] Entanglement Detection with Near-Zero Cost

[ICFP'22] "do" Unchained: Embracing Local Imperativity in a Purely Functional Langua...

[ICFP'22] "do" Unchained: Embracing Local Imperativity in a Purely Functional Langua...

[ICFP'22] Structural versus Pipeline Composition of… (Experience Report)

[ICFP'22] Structural versus Pipeline Composition of… (Experience Report)

Mirjam Weilenmann (IQOQI Vienna ): Entanglement Detection Beyond Measuring Fidelities

Mirjam Weilenmann (IQOQI Vienna ): Entanglement Detection Beyond Measuring Fidelities

[ICFP'22] Fireside Chat with Arvind and Guy Steele

[ICFP'22] Fireside Chat with Arvind and Guy Steele

[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement

[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

[ICFP'22] Conclusions and Awards

[ICFP'22] Conclusions and Awards

Detecting entanglement

Detecting entanglement

Joonwoo Bae-Entanglement detection 2.0

Joonwoo Bae-Entanglement detection 2.0

A smallest computable entanglement monotone and the practical detection of entanglement

A smallest computable entanglement monotone and the practical detection of entanglement

[POPL'22] Type-Level Programming with Match Types

[POPL'22] Type-Level Programming with Match Types